signature VCGEN_MAIN_STRUCTS =
sig
  structure Ir : IR
  structure Vc : VC
  sharing Vc.Atoms = Ir.Atoms = Ir.Types.Atoms
end

signature VCGEN_MAIN =
sig
  include VCGEN_MAIN_STRUCTS
  
  val top : Ir.exdecnode -> unit
end
